hard trig integrals